21. Model-based testing of reactive systems : advanced lectures
پدیدآورنده : Manfred Broy... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Systems software,Testing ، Information technology
رده :
QA
76
.
L28
Vol
.
3472
22. Modellbildung in der Informatik
پدیدآورنده : von Manfred Broy, Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information systems.
23. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
24. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
25. Perspectives of system informatics
پدیدآورنده : Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems, Congresses.
26. Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
پدیدآورنده : Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer systems
رده :
QA
76
.
L28
Vol
.
1755
27. Perspectives of system informatics : second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 1996 : proceedings
پدیدآورنده : Dines Bjorner, Manfred Broy, Igor V. Pottosin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Ershov, Andrei Petrovich,Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1181
28. Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
پدیدآورنده : Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
2244
29. Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003; revised papers
پدیدآورنده : Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
2890
30. Physical Systems-Cyber
پدیدآورنده : / Manfred Broy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
31. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
32. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2001
33. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
34. Programming and Mathematical Method :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
35. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
36. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
37. Programming and mathematical method
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P752
1992
38. Projektorganisation und Management im Software Engineering
پدیدآورنده : Manfred Broy, Marco Kuhrmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Development -- Management.,Project management.,Software engineering -- Management.
39. Projektorganisation und Management im Software Engineering
پدیدآورنده : / Manfred Broy, Marco Kuhrmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
40. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
پدیدآورنده : Manfred Broy, Bernhard Rumpe, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
